field of invariants

不变量的域